On Bisimulations for the Spi Calculus*
Identifieur interne : 008773 ( Main/Exploration ); précédent : 008772; suivant : 008774On Bisimulations for the Spi Calculus*
Auteurs : Johannes Borgström [Suède] ; Uwe Nestmann [Suisse]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: The spi calculus is an extension of the pi calculus with cryptographic primitives, designed for the verification of cryptographic protocols. Due to the extension, the naive adaptation of labeled bisimulations for the pi calculus is too strong to be useful for the purpose of verification. Instead, as a viable alternative, several “environment-sensitive” bisimulations have been proposed. In this paper we formally study the differences between these bisimulations.
Url:
DOI: 10.1007/3-540-45719-4_20
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000256
- to stream Istex, to step Curation: 000255
- to stream Istex, to step Checkpoint: 001C09
- to stream Main, to step Merge: 008C29
- to stream Main, to step Curation: 008773
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">On Bisimulations for the Spi Calculus*</title><author><name sortKey="Borgstrom, Johannes" sort="Borgstrom, Johannes" uniqKey="Borgstrom J" first="Johannes" last="Borgström">Johannes Borgström</name></author><author><name sortKey="Nestmann, Uwe" sort="Nestmann, Uwe" uniqKey="Nestmann U" first="Uwe" last="Nestmann">Uwe Nestmann</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:0BE385A7BC70BA9F84D88A43B0C44D3E836499DD</idno><date when="2002" year="2002">2002</date><idno type="doi">10.1007/3-540-45719-4_20</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-JHNVV21P-D/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000256</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000256</idno><idno type="wicri:Area/Istex/Curation">000255</idno><idno type="wicri:Area/Istex/Checkpoint">001C09</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">001C09</idno><idno type="wicri:doubleKey">0302-9743:2002:Borgstrom J:on:bisimulations:for</idno><idno type="wicri:Area/Main/Merge">008C29</idno><idno type="wicri:Area/Main/Curation">008773</idno><idno type="wicri:Area/Main/Exploration">008773</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">On Bisimulations for the Spi Calculus<hi rend="superscript">*</hi></title><author><name sortKey="Borgstrom, Johannes" sort="Borgstrom, Johannes" uniqKey="Borgstrom J" first="Johannes" last="Borgström">Johannes Borgström</name><affiliation wicri:level="1"><country xml:lang="fr">Suède</country><wicri:regionArea>KTH</wicri:regionArea></affiliation></author><author><name sortKey="Nestmann, Uwe" sort="Nestmann, Uwe" uniqKey="Nestmann U" first="Uwe" last="Nestmann">Uwe Nestmann</name><affiliation wicri:level="1"><country xml:lang="fr">Suisse</country><wicri:regionArea>EPFL</wicri:regionArea></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: The spi calculus is an extension of the pi calculus with cryptographic primitives, designed for the verification of cryptographic protocols. Due to the extension, the naive adaptation of labeled bisimulations for the pi calculus is too strong to be useful for the purpose of verification. Instead, as a viable alternative, several “environment-sensitive” bisimulations have been proposed. In this paper we formally study the differences between these bisimulations.</div></front></TEI><affiliations><list><country><li>Suisse</li><li>Suède</li></country></list><tree><country name="Suède"><noRegion><name sortKey="Borgstrom, Johannes" sort="Borgstrom, Johannes" uniqKey="Borgstrom J" first="Johannes" last="Borgström">Johannes Borgström</name></noRegion></country><country name="Suisse"><noRegion><name sortKey="Nestmann, Uwe" sort="Nestmann, Uwe" uniqKey="Nestmann U" first="Uwe" last="Nestmann">Uwe Nestmann</name></noRegion></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 008773 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 008773 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:0BE385A7BC70BA9F84D88A43B0C44D3E836499DD
|texte= On Bisimulations for the Spi Calculus*
}}
| This area was generated with Dilib version V0.6.33. |  |